269ac5b0b6265d8a43aa6f27d3e2e9f0e0fdddec,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Inequalities.java,Inequalities,onInequalityAdded,#RelationBlock#,194
Before Change
myNodesToBlocksInc.addLink(inputVar, inequality);
}
}
for (SNode outputVar : TypesUtil.getVariables(output, myState)) {
if (TypesUtil.isVariable(outputVar)) {
myNodesInc.add(outputVar);
myNodesToBlocksInc.addLink(outputVar, inequality);
}
}
if (input != output) {
for (SNode inputVar : TypesUtil.getVariables(input, myState)) {
for (SNode outputVar : TypesUtil.getVariables(output, myState)) {
addVariablesLinkInc(myState.getRepresentative(inputVar), myState.getRepresentative(outputVar));
}
After Change
SNode output = myState.getRepresentative(pair.o2);
if (input == null || output == null) continue;
final List<SNode> invars = TypesUtil.getVariables(input, myState);
for (SNode inputVar : invars) {
if (TypesUtil.isVariable(inputVar)) {
myNodesInc.add(inputVar);